Integrand size = 17, antiderivative size = 64 \[ \int \frac {\cot ^2(x)}{\sqrt {a+b \cot ^2(x)}} \, dx=\frac {\arctan \left (\frac {\sqrt {a-b} \cot (x)}{\sqrt {a+b \cot ^2(x)}}\right )}{\sqrt {a-b}}-\frac {\text {arctanh}\left (\frac {\sqrt {b} \cot (x)}{\sqrt {a+b \cot ^2(x)}}\right )}{\sqrt {b}} \]
[Out]
Time = 0.12 (sec) , antiderivative size = 64, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.353, Rules used = {3751, 494, 223, 212, 385, 209} \[ \int \frac {\cot ^2(x)}{\sqrt {a+b \cot ^2(x)}} \, dx=\frac {\arctan \left (\frac {\sqrt {a-b} \cot (x)}{\sqrt {a+b \cot ^2(x)}}\right )}{\sqrt {a-b}}-\frac {\text {arctanh}\left (\frac {\sqrt {b} \cot (x)}{\sqrt {a+b \cot ^2(x)}}\right )}{\sqrt {b}} \]
[In]
[Out]
Rule 209
Rule 212
Rule 223
Rule 385
Rule 494
Rule 3751
Rubi steps \begin{align*} \text {integral}& = -\text {Subst}\left (\int \frac {x^2}{\left (1+x^2\right ) \sqrt {a+b x^2}} \, dx,x,\cot (x)\right ) \\ & = -\text {Subst}\left (\int \frac {1}{\sqrt {a+b x^2}} \, dx,x,\cot (x)\right )+\text {Subst}\left (\int \frac {1}{\left (1+x^2\right ) \sqrt {a+b x^2}} \, dx,x,\cot (x)\right ) \\ & = -\text {Subst}\left (\int \frac {1}{1-b x^2} \, dx,x,\frac {\cot (x)}{\sqrt {a+b \cot ^2(x)}}\right )+\text {Subst}\left (\int \frac {1}{1-(-a+b) x^2} \, dx,x,\frac {\cot (x)}{\sqrt {a+b \cot ^2(x)}}\right ) \\ & = \frac {\arctan \left (\frac {\sqrt {a-b} \cot (x)}{\sqrt {a+b \cot ^2(x)}}\right )}{\sqrt {a-b}}-\frac {\text {arctanh}\left (\frac {\sqrt {b} \cot (x)}{\sqrt {a+b \cot ^2(x)}}\right )}{\sqrt {b}} \\ \end{align*}
Leaf count is larger than twice the leaf count of optimal. \(158\) vs. \(2(64)=128\).
Time = 0.35 (sec) , antiderivative size = 158, normalized size of antiderivative = 2.47 \[ \int \frac {\cot ^2(x)}{\sqrt {a+b \cot ^2(x)}} \, dx=\frac {\left (-\sqrt {-b} \text {arctanh}\left (\frac {\sqrt {2} \sqrt {a-b} \cos (x)}{\sqrt {-a-b+(a-b) \cos (2 x)}}\right )+\sqrt {a-b} \text {arctanh}\left (\frac {\sqrt {2} \sqrt {-b} \cos (x)}{\sqrt {-a-b+(a-b) \cos (2 x)}}\right )\right ) \sqrt {(a+b+(-a+b) \cos (2 x)) \csc ^2(x)} \sin (x)}{\sqrt {a-b} \sqrt {-b} \sqrt {-a-b+(a-b) \cos (2 x)}} \]
[In]
[Out]
Time = 0.04 (sec) , antiderivative size = 80, normalized size of antiderivative = 1.25
method | result | size |
derivativedivides | \(-\frac {\ln \left (\sqrt {b}\, \cot \left (x \right )+\sqrt {a +b \cot \left (x \right )^{2}}\right )}{\sqrt {b}}+\frac {\sqrt {b^{4} \left (a -b \right )}\, \arctan \left (\frac {b^{2} \left (a -b \right ) \cot \left (x \right )}{\sqrt {b^{4} \left (a -b \right )}\, \sqrt {a +b \cot \left (x \right )^{2}}}\right )}{b^{2} \left (a -b \right )}\) | \(80\) |
default | \(-\frac {\ln \left (\sqrt {b}\, \cot \left (x \right )+\sqrt {a +b \cot \left (x \right )^{2}}\right )}{\sqrt {b}}+\frac {\sqrt {b^{4} \left (a -b \right )}\, \arctan \left (\frac {b^{2} \left (a -b \right ) \cot \left (x \right )}{\sqrt {b^{4} \left (a -b \right )}\, \sqrt {a +b \cot \left (x \right )^{2}}}\right )}{b^{2} \left (a -b \right )}\) | \(80\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 141 vs. \(2 (52) = 104\).
Time = 0.32 (sec) , antiderivative size = 588, normalized size of antiderivative = 9.19 \[ \int \frac {\cot ^2(x)}{\sqrt {a+b \cot ^2(x)}} \, dx=\left [-\frac {\sqrt {-a + b} b \log \left (-{\left (a - b\right )} \cos \left (2 \, x\right ) + \sqrt {-a + b} \sqrt {\frac {{\left (a - b\right )} \cos \left (2 \, x\right ) - a - b}{\cos \left (2 \, x\right ) - 1}} \sin \left (2 \, x\right ) + b\right ) - {\left (a - b\right )} \sqrt {b} \log \left (\frac {{\left (a - 2 \, b\right )} \cos \left (2 \, x\right ) + 2 \, \sqrt {b} \sqrt {\frac {{\left (a - b\right )} \cos \left (2 \, x\right ) - a - b}{\cos \left (2 \, x\right ) - 1}} \sin \left (2 \, x\right ) - a - 2 \, b}{\cos \left (2 \, x\right ) - 1}\right )}{2 \, {\left (a b - b^{2}\right )}}, \frac {2 \, {\left (a - b\right )} \sqrt {-b} \arctan \left (\frac {\sqrt {-b} \sqrt {\frac {{\left (a - b\right )} \cos \left (2 \, x\right ) - a - b}{\cos \left (2 \, x\right ) - 1}} \sin \left (2 \, x\right )}{b \cos \left (2 \, x\right ) + b}\right ) - \sqrt {-a + b} b \log \left (-{\left (a - b\right )} \cos \left (2 \, x\right ) + \sqrt {-a + b} \sqrt {\frac {{\left (a - b\right )} \cos \left (2 \, x\right ) - a - b}{\cos \left (2 \, x\right ) - 1}} \sin \left (2 \, x\right ) + b\right )}{2 \, {\left (a b - b^{2}\right )}}, \frac {2 \, \sqrt {a - b} b \arctan \left (-\frac {\sqrt {a - b} \sqrt {\frac {{\left (a - b\right )} \cos \left (2 \, x\right ) - a - b}{\cos \left (2 \, x\right ) - 1}} \sin \left (2 \, x\right )}{{\left (a - b\right )} \cos \left (2 \, x\right ) + a - b}\right ) + {\left (a - b\right )} \sqrt {b} \log \left (\frac {{\left (a - 2 \, b\right )} \cos \left (2 \, x\right ) + 2 \, \sqrt {b} \sqrt {\frac {{\left (a - b\right )} \cos \left (2 \, x\right ) - a - b}{\cos \left (2 \, x\right ) - 1}} \sin \left (2 \, x\right ) - a - 2 \, b}{\cos \left (2 \, x\right ) - 1}\right )}{2 \, {\left (a b - b^{2}\right )}}, \frac {\sqrt {a - b} b \arctan \left (-\frac {\sqrt {a - b} \sqrt {\frac {{\left (a - b\right )} \cos \left (2 \, x\right ) - a - b}{\cos \left (2 \, x\right ) - 1}} \sin \left (2 \, x\right )}{{\left (a - b\right )} \cos \left (2 \, x\right ) + a - b}\right ) + {\left (a - b\right )} \sqrt {-b} \arctan \left (\frac {\sqrt {-b} \sqrt {\frac {{\left (a - b\right )} \cos \left (2 \, x\right ) - a - b}{\cos \left (2 \, x\right ) - 1}} \sin \left (2 \, x\right )}{b \cos \left (2 \, x\right ) + b}\right )}{a b - b^{2}}\right ] \]
[In]
[Out]
\[ \int \frac {\cot ^2(x)}{\sqrt {a+b \cot ^2(x)}} \, dx=\int \frac {\cot ^{2}{\left (x \right )}}{\sqrt {a + b \cot ^{2}{\left (x \right )}}}\, dx \]
[In]
[Out]
\[ \int \frac {\cot ^2(x)}{\sqrt {a+b \cot ^2(x)}} \, dx=\int { \frac {\cot \left (x\right )^{2}}{\sqrt {b \cot \left (x\right )^{2} + a}} \,d x } \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 229 vs. \(2 (52) = 104\).
Time = 0.54 (sec) , antiderivative size = 229, normalized size of antiderivative = 3.58 \[ \int \frac {\cot ^2(x)}{\sqrt {a+b \cot ^2(x)}} \, dx=\frac {{\left (2 \, a \arctan \left (\frac {\sqrt {-a + b} \sqrt {b}}{\sqrt {a b - b^{2}}}\right ) - 2 \, b \arctan \left (\frac {\sqrt {-a + b} \sqrt {b}}{\sqrt {a b - b^{2}}}\right ) + \sqrt {a b - b^{2}} \log \left (-a - 2 \, \sqrt {-a + b} \sqrt {b} + 2 \, b\right )\right )} \mathrm {sgn}\left (\sin \left (x\right )\right )}{2 \, \sqrt {a b - b^{2}} \sqrt {-a + b}} - \frac {\frac {2 \, \sqrt {-a + b} \arctan \left (\frac {{\left (\sqrt {-a + b} \cos \left (x\right ) - \sqrt {-a \cos \left (x\right )^{2} + b \cos \left (x\right )^{2} + a}\right )}^{2} + a - 2 \, b}{2 \, \sqrt {a b - b^{2}}}\right )}{\sqrt {a b - b^{2}}} + \frac {\log \left ({\left (\sqrt {-a + b} \cos \left (x\right ) - \sqrt {-a \cos \left (x\right )^{2} + b \cos \left (x\right )^{2} + a}\right )}^{2}\right )}{\sqrt {-a + b}}}{2 \, \mathrm {sgn}\left (\sin \left (x\right )\right )} \]
[In]
[Out]
Timed out. \[ \int \frac {\cot ^2(x)}{\sqrt {a+b \cot ^2(x)}} \, dx=\int \frac {{\mathrm {cot}\left (x\right )}^2}{\sqrt {b\,{\mathrm {cot}\left (x\right )}^2+a}} \,d x \]
[In]
[Out]